755247254f6522306e4393a2a83c093fcb89ff77,core/languageDesign/helgins/source/jetbrains/mps/helgins/inference/EquationManager.java,EquationManager,addInequation,#IWrapper#IWrapper#EquationInfo#boolean#boolean#boolean#,164
Before Change
}
if (equationInfo.getErrorString() != null) {
myTypeChecker.reportTypeError(equationInfo.getNodeWithError(), equationInfo.getErrorString());
return;
}
String strongString = isWeak ? "" : " strong";
After Change
}
IErrorReporter errorReporter;
String errorString = equationInfo.getErrorString();
String ruleModel = equationInfo.getRuleModel();
String ruleId = equationInfo.getRuleId();
if (errorString == null) {
String strongString = isWeak ? "" : " strong";
errorReporter = new EquationErrorReporter(this, "type ", subtypeRepresentator,
" is not a" + strongString + " subtype of ", supertypeRepresentator, "", ruleModel, ruleId);
} else {
errorReporter = new SimpleErrorReporter(errorString, ruleModel, ruleId);
}
errorReporter.setIntentionProvider(equationInfo.getIntentionProvider());
myTypeChecker.reportTypeError(equationInfo.getNodeWithError(), errorReporter);